2
Abstract State Machines, Alloy, B, TLA, VDM, and Z

Abstract State Machines, Alloy, B, TLA, VDM, and Z

साल:
2018
भाषा:
english
फ़ाइल:
PDF, 18.79 MB
0 / 0
english, 2018
3
Modeling Companion for Software Practitioners

Modeling Companion for Software Practitioners

साल:
2018
भाषा:
english
फ़ाइल:
PDF, 4.66 MB
0 / 0
english, 2018
4
Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings

Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings

साल:
2021
भाषा:
english
फ़ाइल:
PDF, 8.56 MB
0 / 5.0
english, 2021